Неравенство кардинальных чисел

Неравенство кардинальных чисел

Определение:

$|A| \leq |B|$, если существует инъекция $f : A \to B$. При этом $f$ — биекция $A$ на $f(A)$, т.е. $A$ равномощно подмножеству в $B$.

Свойство:

$\leq$ — отношение порядка на множестве кардинальных чисел